長谷川真人; "自己言及の論理と計算"